COMMENT ā VALID 00002 PAGES C REC PAGE DESCRIPTION C00001 00001 C00002 00002 1. attach postponable to Kowalski metaprolog C00003 ENDMK Cā; 1. attach postponable to Kowalski metaprolog 2. perhaps on(x,y) is suitable for treatment of ambiguity